#include "types.h"
#include "param.h"
#include "memlayout.h"

void test_physical_memory(void);
void test_pagetable(void);
void test_virtual_memory(void);